161. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
162. Logic and its applications :
پدیدآورنده : Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
163. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
164. Machine Learning Augmentation Micro-Sensors for Smart Device Applications
پدیدآورنده : Hasan, Mohammad H.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Mathematics,Mechanical engineering
165. Machine Learning Augmentation Micro-Sensors for Smart Device Applications
پدیدآورنده : Hasan, Mohammad H.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Mathematics,Mechanical engineering
166. Machine intelligence and signal analysis /
پدیدآورنده : M. Tanveer, Ram Bilas Pachori, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Machine learning.,Signal processing.,Artificial intelligence.,COMPUTERS-- General.,Machine learning.,Signal processing.
رده :
Q325
.
5
167. Machine learning for computer and cyber security :
پدیدآورنده : editors, Brij B. Gupta, Michael Sheng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer networks-- Security measures-- Data processing.,Computer security-- Data processing.,Machine learning.,Artificial intelligence.,COMPUTERS-- Database Management-- Data Mining.,COMPUTERS-- General.,COMPUTERS-- Machine Theory.,Machine learning.,MATHEMATICS-- Arithmetic.
رده :
TK5105
.
59
168. Machine learning in medicine :
پدیدآورنده : Ton J. Cleophas, Aeilko H. Zwinderman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Medical applications.,Machine learning.,Medical informatics.,Artificial Intelligence.,Artificial intelligence-- Medical applications.,Educational: Sciences, general science.,Machine learning.,Mathematics-- Probability & Statistics-- General.,Medical-- General.,Medical informatics.,Medical research.,Medicine: general issues.,Probability & statistics.,Science-- General.
رده :
R859
.
7
.
A78
C54
2015eb
169. Make a shield from wisdom :
پدیدآورنده : 20090507 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
170. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
171. Mathematical Aspects of Computer and Information Sciences
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Computer organization. ; Artificial intelligence. ; Computers. ; Mathematics of Computing. ; -Computer science
172. Mathematical Principles of Fuzzy Logic
پدیدآورنده : by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
173. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
174. Mathematical methods in artifficial intelligence
پدیدآورنده : Bender, Edward A.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Artificial intelligence- Mathematics,، Expert Systems )Computer science(
رده :
Q
335
.
B45
1996
175. Mathematical methods in artificial intelligence
پدیدآورنده : Edward A. Bender
موضوع : Artificial intelligence - Mathematics,Expert systems (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
176. Mathematical methods in artificial intelligence
پدیدآورنده : Bender, Edward A.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Artificial intelligence - Mathematics , Expert systems )Computer science(
رده :
Q
335
.
B45
177. Mathematical methods in artificial intelligence
پدیدآورنده : Bender, Edward A.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Mathematics ، Artificial intelligence,، Expert systems )Computer science(
رده :
Q
335
.
B45
1996
178. Mathematical methods in artificial intelligence
پدیدآورنده : Edward A. Bender
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Artificial intelligence - Mathematics,Expert systems )Computer science(
رده :
Q
335
.
B45
179. Mathematical methods in artificial intelligence /
پدیدآورنده : Edward A. Bender
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Mathematics,Expert systems (Computer science)
رده :
Q335
.
B45
1996
180. Mathematics and computation in music :
پدیدآورنده : Mariana Montiel, Francisco Gomez-Martin, Octavio A. Agustín-Aquino (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Music-- Data processing, Congresses.,Music-- Mathematics, Congresses.,Music-- Data processing.,Music-- Mathematics.
رده :
ML3800
.
M35
2019eb
